- id: Search
  translation: Search

- id: Edit this page
  translation: Edit this page

- id: Last modified by
  translation: Last modified by

- id: Expand
  translation: Expand

- id: bookSearchConfig
  translation: |
    {
      encode: false,
      tokenize: function(str) {
        return str.replace(/[\x00-\x7F]/g, '').split('');
      }
    }
